Lorẹnzen, Paul, Philosoph und Mathematiker, * Kiel 24. 3. 1915, † Â Göttingen 1. 10. 1994; Professor in Kiel und Erlangen, Mitbegründer der »Erlanger Schule« der konstruktiven Wissenschaftstheorie; entwarf unter Bezugnahme auf die Mathematik eine operationale Logik als Begründ...